$\forall$${\it es}$:ES, $P$:(E$\rightarrow\mathbb{P}$). ($\forall$$e$:E. Dec($P$($e$))) $\Rightarrow$ ($\forall$$e$, ${\it e'}$:E. Dec(es{-}p{-}immediate{-}pred(${\it es}$;$P$)($e$,${\it e'}$)))